Buy Used and New International Conference on Formal Metho Books

Formal Methods for Open Object-Based Distributed Systems: IFIP Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

by Bart Jacobs,Arend Rensink,International Conference on Formal Metho

ISBN 13: 9780792376835

Format: Illustrated (292 pages)
Publisher: Springer
Published: 31 Mar 2002

Save for later

Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

by International Conference on Formal Metho,Scott F. Smith,Carolyn L. Talcott

ISBN 13: 9780792379232

Format: Hardcover (432 pages)
Publisher: Springer
Published: 31 Aug 2000

Save for later

Formal Methods for Open Object-based Distributed Systems: 3rd (IFIP International Federation for Information Processing): Ifip Tc6 / Wg6.1 Third ... in Information and Communication Technology)

by International Conference on Formal Metho,International Federation for Information,Roberto Gorrieri

ISBN 13: 9780792384298

Format: Hardcover (452 pages)
Publisher: Springer
Published: 28 Feb 1999

Save for later